Lambda point - PDFSEARCH.IO - Document Search Engine

Lambda point
Results: 124

#	Item
21	A Self-Hosting Evaluator using HOAS A Scheme Pearl Eli Barzilay Northeastern University Add to Reading List Source URL: schemeworkshop.org Language: English - Date: 2011-08-12 16:48:16 Lambda calculus Recursion Subroutines Computability theory Theoretical computer science Higher-order abstract syntax Fixed-point combinator Scheme Continuation-passing style Software engineering Computing Computer programming
22	BRICS Basic Research in Computer Science BRICS RSM. Goldberg: A General Schema for Constructing One-Point Bases in the Lambda Calculus A General Schema for Add to Reading List Source URL: www.brics.dk Language: English - Date: 2002-07-31 09:19:02
23	A Blame for All (revised) Amal Ahmed, Northeastern University James T. Perconti, Northeastern University Jeremy G. Siek, Indiana University Philip Wadler, University of Edinburgh Add to Reading List Source URL: wphomes.soic.indiana.edu Language: English - Date: 2014-08-14 08:06:44 Lambda calculus Computer science Fixed-point combinator Simply typed lambda calculus Typed lambda calculus Polymorphism System F Type system Type safety Theoretical computer science Mathematics Type theory
24	The Why of Y Richard P. Gabriel Lucid, Inc. and Stanford University Did you ever wonder how Y works and how anyone could ever have thought of it? In this note I’ll try to explain to you not only how it works, but how s Add to Reading List Source URL: www.dreamsongs.com Language: English - Date: 2012-08-04 16:00:09 Declarative programming Fixed-point combinator Closure Function Combinatory logic Currying Factorial Binary lambda calculus Mathematics Lambda calculus Software engineering
25	Typed Normal Form Bisimulation for Parametric Polymorphism Soren B. Lassen Google, Inc. Paul Blain Levy Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2008-07-15 06:16:32 Lambda calculus Computability theory Fixed-point combinator Combinatory logic Sheaf Theoretical computer science Mathematics Applied mathematics
26	The Forum Foundation PO Box 3073 Centerline, MichiganPhone: E-mail: WWW.THEFORUMFOUNDATION.ORG Add to Reading List Source URL: www.theforumfoundation.org Language: English - Date: 2015-01-08 21:53:21 LGBT Academia Scholarship LGBT community Point Foundation Lambda Foundation Education Student financial aid Knowledge
27	Introduction to Computing: Explorations in Language, Logic, and Machines Add to Reading List Source URL: www.computingbook.org Language: English - Date: 2011-08-24 08:03:06 Recursion Computability theory Theoretical computer science Function Binomial coefficient Factorial Scheme Fixed-point combinator Lambda calculus Mathematics Combinatorics Integer sequences
28	Toward abstract profiling Nguyen-Minh BUI D´epartement d’informatique et de g´enie logiciel, Universit´e Laval, Canada Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2012-08-10 19:21:20 Combinatory logic Lambda calculus Procedural programming languages Computability theory Eval Fixed-point combinator Function Expression Conditional Mathematics Theoretical computer science Computing
29	Lightweight Fusion by Fixed Point Promotion ∗ (the author’s version) Isao Sasano † Atsushi Ohori Add to Reading List Source URL: www.sic.shibaura-it.ac.jp Language: English - Date: 2008-10-23 00:04:30 Higher-order functions Recursion Functions and mappings Computability theory Fold Lambda calculus Map Function Antiderivative Mathematics Mathematical analysis Computing
30	Generating a Pattern Matching Compiler by Partial Evaluation Jesper Jørgensen ∗ DIKU, Department of Computer Science University of Copenhagen Universitetsparken 1, DK-2100 Copenhagen Ø Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:05:04 Logic in computer science Models of computation Lambda calculus Functional programming Programming language semantics Denotational semantics Fixed-point combinator Compiler-compiler Compiler Software engineering Computing Theoretical computer science

UPDATE